Mathematical Models to Determine Stable Behavior of Complex Systems

Mathematical Models and Methods for Complex Systems

Mathematical Models to Simultaneously Determine Overtime Requirements and Schedule Cells

The problem studied in this paper was inspired from an actual textile company. The problem is more complex than usual scheduling problems in that we compute overtime requirements and make scheduling decisions simultaneously. Since having tardy jobs is not desirable, we allow overtime to minimize the number of tardy jobs. The overall objective is to maximize profits. We present various mathemati...

Mathematical models and simulations of complex social systems

In this thesis we present two different models of Complex Social Systems. The first model represents a vector-borne disease that takes place in a heterogeneous environment composed of areas of different types. Two populations take part in the epidemic process: humans and vectors. The population of humans moves around the heterogeneous environment. The idea of this model is to understand how the...

Mathematical analysis of behavior systems

A behavior system consists of the components and control programs necessary to establish a particular behavior in a robotic agent The paper proposes a mathematical approach for the analysis of behavior systems The approach rests on viewing a behavior system as a dynamical system whose equilibrium state is attained when the behavior it is responsible for is achieved

Validating Temporal Behavior Models of Complex Real-Time Systems

When constructing a model of the behavior of a software system, model validation is necessary in order to assure that the model accuratly describes the system at an appropriate level of abstraction. How to validate a model is however not obvious, since a model is an abstraction of the real system. This paper presents an approach for validation of temporal behavior models, targeting complex indu...